fix random_shuffle is not member std