BUGFIX: GREAT SPEEDUP: use drand48() instead of rand() to get rid of futex