Disable CEDET