tweak scripts to make git tagging easier