X11, fflush, GSL_RNG_SEED

X11, fflush, GSL_RNG_SEED