Fixing coverage reporting in travis.