Someone on IRC complainted that we didn’t support DESTDIR. Adding this makes it easier for package builders.