final adjustments for travis-ci and coveralls