Adjusted Travis CI file to recent change.