Temporarily disable CEDET.