Record random seed in config file