Fixing Travis CI setup.