more case-sensitive file names