A small improvemet in scripts/run_all_tests