Fixing types.h so that the 64-bit types match what GCC wants.
Fixing types.h so that the 64-bit types match what GCC wants.

seanofw/smile,seanofw/smile,seanofw/smile,seanofw/smile,seanofw/smile,seanofw/smile