Re: (ITS#5462) Allow setting of RANDOM_FILE for gnutls