use TPTP env variable to look for included files