--- a/ExternalStream.st	Thu Jun 30 21:11:02 2016 +0100
+++ b/ExternalStream.st	Thu Jun 30 21:12:35 2016 +0100
@@ -3067,7 +3067,7 @@
     }
 
     if (__INST(handleType) == @symbol(socketHandle)) {
-	fd = __FILEVal(fp);
+	fd = (int)((SOCKET)(__FILEVal(fp)));
     } else
 	if ((__INST(handleType) == nil)
 	 || (__INST(handleType) == @symbol(filePointer))
@@ -4690,7 +4690,7 @@
     }
 
     if (__INST(handleType) == @symbol(socketHandle)) {
-	SOCKET sock = __FILEVal(fp);
+	SOCKET sock = (SOCKET)(__FILEVal(fp));
 
 	if (@global(FileOpenTrace) == true) {
 	    fprintf(stderr, "close socket [ExternalStream] %"_lx_"\n", (INT)sock);
@@ -6305,7 +6305,7 @@
 		}
 		RETURN (self);
 	    }
-	    fprintf(stderr, "cnt=%d len=%d\n", cnt, len);
+	    fprintf(stderr, "cnt=%"_ld_" len=%"_ld_"\n", (INT)cnt, (INT)len);
 	    error = __mkSmallInteger(__threadErrno);
 	}
     }