../../sec/openpgp/random_seed