Update documentation: linux64 build doesn't work