Travis: correct sudo option.