apparently this is how to deal with changes of capitalizations of directories with git