make the random_device generating the seed for random_shuffle static thread_local