One more fix on Travis CI configuration