Support Jenkins build override for bitness since we don't have a 32-bit machine