generates a temporary file name /tmp/HasHfolDER

tempfile_name()