Fix compilation of bin_prot under 32-bit ARM

This is the minimal diff to avoid changing the released code on
non-ARM.  See janestreet/bin_prot#4 where the upstream fix is
being discussed.