a fix to "make install"