More portable check for NOPASSWD flag in sudo?