fixed filename capitalization issue with git mv --force file1 file2