fix use of the TPTP variable in frogtptp