One more fix to the Travis template. [ci skip]