make_dist.cmd: minor fix