Fix incompatibility with old versions of sudo