munin: fix test
Update TPTP