switch to use DESTDIR instead of INSTALL_ROOT (patch from Samuli Suominen)