Disabling CEDET.