use builtin CEDET by default