switched ignorecase to false in git config file, trying to solve a nasty issue with renamed files