Turn off warnings for 64- to 32-bit conversion, since we're not going to fix them