Fix a bug with file name case