Update 32bit-64bit.h