Fix travis file for code coverage (again)