Check for cedet repository before loading it