ppc_32: Socket6.so
