added include to handle mt19937 (random)