Default TPTT file name to tpttsub.o