DESTDIR after make install ?