get intLangExtraTheory building again