get pmatchTheory building again