Bug #2257: rename sudoers files