try to fix make_seed crash on 32-bit