Use Ubuntu 12.04-compatible version of sudo option.