modified:   setup-cedet.el