--- tools/config2header.orig 2006-01-30 09:30:16.000000000 -0800 +++ tools/config2header 2006-01-30 09:31:05.000000000 -0800 @@ -214,7 +214,6 @@ print HFILE <