Rename file to avoid case-insensitive collision
Merge pull request #1745 from github/f-case

Fix failures on case-insensitive filesystem