TPTP is EOL, there's no point updating this. There's also no harm in doing so.