Change default seed to be compatible with MRG_RandomStreams