Merge branch 'bugfix/v0.87'

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

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