Fix minor error in definition of global var for Coverity in Travis script.