fix cedet config bug