make random fuzzing deterministic again