resolving compilation issues due to git case insensitivity