make-dist: seems ok to make git hardlinks for temp branch checkout