reinstall cedet