Remove `cedet-1.1'