Travis: separate sudo options.