if arg 3 isn't --with-coverage, pass the value in