ppc_32: rbs_extension.so
