Fix file name problem due to Windows' case insensitivity.