Placate Windows by tweaking filenames.

These filenames were preventing git clones on Windows machines.