Fix 32bits compilation issue