git does not detect 'case only file name changes' bug fix