used git mv -f to force git to recognize filename changes.