fix new IO_Socket type