Support DESTDIR + improvements for easy packaging