fix case-sensitive file name thing
Add: why are we discussing this now?