fixed filename for case-sensitive file systems