fix random seed to obtain constant output from test