fixup! Configure Coverity Scan hook for Travis