Is this needed? RNG is now in the BenchToolInputStream...