Update random.h