fixing travis-ci for coverall