Fix filename case for Linux