Fixed bug in pico_socket_shutdown