Update mt19937.h