Specify 32-bit vs 64-bit in the VERSION file