Force git to pick up name-case change.