Default DESTDIR.