Extract the errno value to use from the errno module if possible.
diff --git a/Lib/socket.py b/Lib/socket.py
index b9d4049..2ee0796 100644
--- a/Lib/socket.py
+++ b/Lib/socket.py
@@ -54,6 +54,11 @@
 
 import os, sys
 
+try:
+    from errno import EBADF
+except ImportError:
+    EBADF = 9
+
 __all__ = ["getfqdn"]
 __all__.extend(os._get_exports_list(_socket))
 if _have_ssl:
@@ -137,7 +142,7 @@
 class _closedsocket(object):
     __slots__ = []
     def _dummy(*args):
-        raise error(9, 'Bad file descriptor')
+        raise error(EBADF, 'Bad file descriptor')
     send = recv = sendto = recvfrom = __getattr__ = _dummy
 
 class _socketobject(object):