maybe fix for 32-bit builds