getter for tmpFile