Remove --with-coverage