Correct the travis build configuration.