basic fixes to ext/sockets