* include/bits/random.h (random_device) [GLIBCXX_USE_RANDOM_TR1]: