make 32-bit builds happy