From what I can tell, we typically don't put a `/` in between `$(DESTDIR)` and whatever follows, in case we want to be able to provide relative `$(PREFIX)` locations, right?  E.g. we do this in Julia, where `$(PREFIX) == "usr/"`.