kfreebsd build fixes
travis-ci: don't run coverity with gcc