contrib fix make-bin-dist