Don't assume that the DESTDIR already exists...