fix tptp export in frogtptp