Makefiles: proper handling of DESTDIR before PREFIX