Upgrade to cedet 1.1