d3c31e
Merge pull request #1325 from caryoscelus/build_instruction_fixes Linux build instructions: minor fixes