fix nasty error due to /dev/random exhaustion