gg, github/windows doesn't know how to rename files