shlib.sh: be more robust generating new hg2git-marks file