Attempt to make coverage work on Travis CI