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.
Merge pull request #1615 from mirage/fix-bin-prot-arm

Fix compilation of bin_prot under 32-bit ARM