31efef2187
Fake, a bit more fun than usual, since Bob has this notion is the best
programmer in the world, and he's going to rewrite configure from scratch
as a better tool, which doesn't want to be coerced into
prefix=${DESTDIR}/usr/local.
Well, **ck him.