Update the config for cedet with latest version