Fix make install with INSTALL_ROOT set, e.g. used by Debian package build.