--- ./gnumach/kern/ipc_mig.c	2013-06-04 22:13:41.916218572 +0200
+++ ./gnumach1/kern/ipc_mig.c	2013-06-05 07:39:05.662711231 +0200
@@ -979,7 +979,7 @@
 			      vm_size_t		iocount)
 {
 	device_t	dev;
-	ipc_port_t	reply_port;
+	/*ipc_port_t	reply_port;*/
 	io_return_t	res;
 
 	/*
@@ -1000,9 +1000,10 @@
 	/*
 	 * Translate reply port.
 	 */
-	if (reply_name == MACH_PORT_NULL)
+	/*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;