Patches for check_dns_random.pl change [sf#604837] [#197]