random_sample: where did it go?

[Andrew Pinski]

try:

#include <ext/algorithm>
using __gnu_cxx::random_sample;
int main(){}


Thanks,
Andrew Pinski