Use StdRandom instead of DevRandom (due to lack of entropy on cloud servers)