Merge "Fix coverage option for run_tests.sh"