Getter for tmpFile