Fixing weird things due to case-sensitive config