Socket address family in Linux is UInt16 (fixes #79)