disable building toyfmf command temporary, because of logic-TPTTP compilation error on Travis CI