Fix "make install" under linux