Remember the presence of the --with-tests command-line option through