This is a bit unpleasant, as "make binary-dist" really shouldn't actually
build anything, but it works.