+ new version of the compilation instructions for GNU/Linux