Surprisingly Boost is smaller when you *don't* optimize for space