--- ./src/buffer.c.orig	2004-07-31 13:55:14.000000000 +0200
+++ ./src/buffer.c	2004-07-31 13:55:48.000000000 +0200
@@ -293,7 +293,6 @@
 	{
 	case ACCESS_READ:
 	  child_pid = sys_child_open_for_uncompress ();
-	  read_full_records_option = false;
 	  break;
 
 	case ACCESS_WRITE: