git case sensitivity is annoying