travis-ci: try to fix coverage results