Changed build commands for Coverity Scan in Travis CI configuration