configs: bump tptp version