fix random.c compilation problem