tweaked coveralls for travis-ci