Using DESTDIR correctly