INSTALL: ignore gcc Configured with line
diff --git a/INSTALL b/INSTALL
index c48f565..5bbced6 100755
--- a/INSTALL
+++ b/INSTALL
@@ -27,7 +27,7 @@
 
 (
 echo "* Compiler version:"
-9c -v 2>&1 | grep -i version | sed 's/^/	/'
+9c -v 2>&1 | grep -v 'Configured with:' | grep -i version | sed 's/^/	/'
 
 if [ `uname` = Linux ]; then
 	# On Linux, we use the kernel version to decide whether