gnu: sudo: Use /var/run/sudo instead of /run/sudo.