Be more frugal with storage for shutdown serialization