correct cpuglob.h for 64-bit hosts