fix #26: use standard c++ mersenne twister