Fix a build error due to undefined reference to `__udivdi3' on 32-bit x86