Remove header include <random>