diff --git a/INSTALL b/INSTALL
index 5b86645c..f032f9da 100755
--- a/INSTALL
+++ b/INSTALL
@@ -170,6 +170,10 @@ if $dobuild; then
 		echo " "
 		echo "* Warning: not all binaries built successfully."
 	fi
+	if [ -f bin/quote1 ]; then
+		cp bin/quote1 'bin/"'
+		cp bin/quote2 'bin/""'
+	fi
 	echo "* Cleaning up..."
 	mk clean
 fi
diff --git "a/bin/\"" b/bin/quote1
similarity index 100%
rename from "bin/\""
rename to bin/quote1
diff --git "a/bin/\"\"" b/bin/quote2
similarity index 100%
rename from "bin/\"\""
rename to bin/quote2