INSTALL_PREFIX is deprecated and renamed DESTDIR, the option make-install-extra was added to change DESTDIR from make variables. /cc @tomo @jm
make-install-extra
This will create a new commit in order to revert the existing changes.
