git-gui: Ensure windows shortcuts always have .bat extension