 Fix headers in random_init.c; add a workaround for (pathological) getrandom() without /dev/urandom
 Fix headers in random_init.c; add a workaround for (pathological) getrandom() without /dev/urandom

skarnet/skalibs,skarnet/skalibs