Fix a serious file naming issue with wrong letter case.