fixes case-insensitive filename problem