socketServer.c socket_S.h: ../hurd/socket.defs config.h mutations.h \
  ../hurd/hurd_types.defs /usr/include/mach/std_types.defs \
  /usr/include/mach/machine/machine_types.defs \
  /usr/include/mach/mach_types.defs /usr/include/device/device_types.defs \
  /usr/include/bits/utsname.h