Just changing capitalization in file names.  Windows doesn't care,
but Linux does (and our development server is Linux).

Checking directly into mars-game-staging because I'm lazy and this change is trivial.