Further tweak for #823. In extreme test cases using -max-run=1
we sometimes did not get any progress for a (one second) run.