this file goes in /etc/ to turn case-insensitivity on