random.c: Make thread-safe