Why won't git fix the filename?!