To partially simplfy our gcov handling, move to the new --coverage option.