--- ./gnumach/kern/ipc_mig.c	2013-06-01 20:41:44.180548551 +0200
+++ ./gnumach1/kern/ipc_mig.c	2013-06-03 19:42:29.108955104 +0200
@@ -928,7 +928,7 @@
 			     vm_size_t		data_count)
 {
 	device_t	dev;
-	ipc_port_t	reply_port;
+	/*ipc_port_t	reply_port;*/
 	io_return_t	res;
 
 	/*
@@ -949,9 +949,10 @@
 	/*
 	 * Translate reply port.
 	 */
-	if (reply_name == MACH_PORT_NULL)
-		reply_port = IP_NULL;
-	else {
+	/*if (reply_name == MACH_PORT_NULL)
+	  reply_port = IP_NULL;
+	  else {*/
+	if (reply_name != MACH_PORT_NULL) {
 		/* Homey don't play that. */
 		device_deallocate(dev);
 		return KERN_INVALID_RIGHT;