pre_upgrade() {
# Permissions of /var/db/sudo were changed from 0700 to 0711 in sudo 1.8.10
# http://www.sudo.ws/repos/sudo/rev/5c38d77a2d0c
if (($(vercmp $2 1.8.10-1) < 0)); then
chmod 0711 var/db/sudo
fi
}