Change configuration to run CEDET correctly