Changing random_shuffle to shuffle, since it's deprecated in C++14.