Fixing rename that was not detected by Git

Git on OSX as case insensitive OS did not
pick up rename of the file from Eof to EOF