Config CEDET.