Fix buffer overrun causing Jenkins built version to crash.