Bugfix in make install