fix git-rmbranch for branches with /