do not depend on logic-TPTP unless building toyfmf executable