Correct a bad configure argument in the travis build configuration.