Fix case-sensitive filenames.
Merge pull request #701 from abeloin/monofixes

Fix case-sensitive filenames.