Do not downcase filenames in the warning

Fixes #95