Fix Travis config.