Checkpoint: just before installing cedet-1.0