Don't use /dev/stderr

[riptl]

Checklist

• [ ] Closing issues: #issue
• [x] Mark this if you consider it ready to merge
• [ ] I've added tests (optional)
• [ ] I wrote some documentation

Description

/dev/stderr is non-portable. The generated configure script fails with permission errors (cannot create /dev/stderr)