remove cedet for the time being