diff --git a/INSTALL b/INSTALL
index fc50860e3d3a9c7dde99ed02bce6e29a01aac45b..19d06abd1fe6d8fa6491ec864ee5659be08337a6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -23,9 +23,10 @@ Installation from the git repository
 First run
 
       autoconf
+      automake --add-missing
 
-to build the file ./configure, then follow instructions from the
-section above.
+to build the ./configure file and install the helper scripts, then follow
+instructions from the section above.
 
 
 Detailed instructions
diff --git a/examples/nightly-bench.sh b/examples/nightly-bench.sh
index 240c94b859e9f6919e12bf460765a4cd0fb032fa..8e5f98ed5d6c06a9a794199a40cfddfa037e5f39 100755
--- a/examples/nightly-bench.sh
+++ b/examples/nightly-bench.sh
@@ -35,6 +35,7 @@ echo "Starting time (UTC): "`date --utc +%H:%M` >> $REPORT
 
 # configuration
 autoconf
+automake --add-missing
 ./configure --enable-local &> $OUT
 if test "$?" != "0" ; then
     echo "Configure failed" >> $REPORT