Force-feed /dev/random 4096 bits to overcome it's weak mixing function