address @jwoillez's comment: missing lines.  Remove --use-mirrors since
it's deprecated
Merge branch 'travis_for_coverage'