Update dummy_rng.h