You still need to seed with srand(), or provide your own random number generator to random_shuffle().