x86_64: bit32.so
