Socket: removed unused Socket destructor