resolving filename casing issue on linux