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