updated for version 7.2-055
diff --git a/src/gui.c b/src/gui.c
index 426cea9..b937189 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -139,7 +139,7 @@
 		/* The read returns when the child closes the pipe (or when
 		 * the child dies for some reason). */
 		close(pipefd[1]);
-		(void)read(pipefd[0], &dummy, (size_t)1);
+		ignored = (int)read(pipefd[0], &dummy, (size_t)1);
 		close(pipefd[0]);
 	    }