Adjusted Travis-CI configuration.