--- lib/isc/random.c.orig	Mon Apr 28 14:18:53 2014
+++ lib/isc/random.c	Sun May  4 14:28:15 2014
@@ -61,21 +61,23 @@
 }
 
 void
 isc_random_seed(isc_uint32_t seed)
 {
 	initialize();
 
 #ifndef HAVE_ARC4RANDOM
 	srand(seed);
 #else
+#ifdef HAVE_ARC4RANDOM_ADDRANDOM
 	arc4random_addrandom((u_char *) &seed, sizeof(isc_uint32_t));
+#endif
 #endif
 }
 
 void
 isc_random_get(isc_uint32_t *val)
 {
 	REQUIRE(val != NULL);
 
 	initialize();