Make low-level configure_socket() method take the socket number as
a parameter rather than embedded in a structure.