A few fixes to the compilation instructions on Linux