Set random seed to avoid random test failures