Portable AWK regular expression.