Modify cedet config