Changed socket header for easier integration with mbed.