(We were previously using the 32-bit version because that version
 is older than the 64-bit version which was failing some autodoc
 tests.)