Add missing #include <random>.