Reinstate needed #include.
Change to use C++11 <random> when available.