testing updates for travis-ci and coverity integration