use set_seed when calling new_seed() so that MPK also gets set too.