Git doesn't normally recognise case changes - need to use git mv twice to get the file named correctly.