Make dcookies use a stable size regardless of whether we're
on a 32-bit or 64-bit platform.