diff --git a/exec/load/sockdefs.js b/exec/load/sockdefs.js
index b800b64906d42b2a1f0609221176276edcbbc11a..ea28408afb85f272725759bf6b1ee0108d5e3698 100644
--- a/exec/load/sockdefs.js
+++ b/exec/load/sockdefs.js
@@ -80,6 +80,15 @@ var SOCK_RAW        =3;              /* raw-protocol interface */
 var SOCK_RDM        =4;              /* reliably-delivered message */
 var SOCK_SEQPACKET  =5;              /* sequenced packet stream */
 
+if (Socket.PF_INET !== undefined)
+	var PF_INET = Socket.PF_INET;
+if (Socket.PF_INET6 !== undefined)
+	var PF_INET6 = Socket.PF_INET6;
+if (Socket.AF_INET !== undefined)
+	var AF_INET = Socket.AF_INET;
+if (Socket.AF_INET6 !== undefined)
+	var AF_INET6 = Socket.AF_INET6;
+
 /* Option name parameter to Socket.getoption/setoption */
 var sockopts = [
 	"TYPE",