Fix the installation path

Do *not* call `make install` with either DESTDIR or INSTALL_PATH because
doing that in an environment where they are specified and the same as
the original prefix results in duplicating the whole path, apparently.