uses std::random_shuffle now
removed include
Portability headers removed.  No longer needed in modern world.