Temp rename to get around Git's case blunder