abf for 32-bit arch