Code Editor : have_case_insensitive_file_system.inc