Tweaked Travis CI configuration