fix /dev/random slow initialisation on linux