Help Coverity figure out how auto string sizes work, and fix 64-bit
portability at the same time