"make install" problem on Linux #200