diff --git a/build.sh b/build.sh
index a4bf1b57d48977ed885ff163fd457f9a2047f9f1..dbfe563b85095d0ba8584c92c5b8f7e7319ddc68 100755
--- a/build.sh
+++ b/build.sh
@@ -381,7 +381,7 @@ then
 fi
 if [ "$BUILDLUA52" = "FALSE" ]  && [ "$BUILDLUA53" = "TRUE" ]
 then
-    mv -v  "$B"/texk/web2c/$LUATEXEXE53 "$B"/texk/web2c/$LUATEXEXE
+    mv "$B"/texk/web2c/$LUATEXEXE53 "$B"/texk/web2c/$LUATEXEXE
     ls -l "$B"/texk/web2c/$LUATEXEXE
 fi