travis and coverall integration debug