edfu: try working around PHP Unicode brokenness in regexps

the previous approach worked on one web server but not on another