Fix case of file which git helpfully didn't update