fix a random seed to avoid accidental test failures