finish getting intLangExtraTheory building again