Fix compilation under Clang

* iB4e code used (int) to store pointers, which fails on 64-bit systems.
  GCC knows how to fix this, but Clang doesn't.