32-bit compatibility fix for fix for #5165