Fix problem caused by case insensitivity from git