This is a bit unpleasant, as "make binary-dist" really shouldn't actually build anything, but it works.
Attach a file by drag & drop or click to upload
