default output of p9 and tptp translations to conversions folder