drand48() bug