fix mv usage in install.sh to avoid bogus interactive prompting

diff --git a/tools/install.sh b/tools/install.sh
index 7dcea33..4e5a8b9 100755 (executable)
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -53,7 +53,7 @@ else
 cat < "$1" > "$tmp"
 fi
 
-mv "$tmp" "$2"
+mv -f "$tmp" "$2"
 test -d "$2" && {
 rm -f "$2/$tmp"
 printf "%s: %s is a directory\n" "$0" "$dst" 1>&2