Update travisci_build_coverity_scan.sh