tidy up CEDET setup