CEDET configuration file