tools.deploy: bump sizes to get clean 32-bit builds (for now).