Fix BOOL typedef for 64-bit