This reverts commit 6187206a02. Lol, no. Yes, /dev/stderr isn't POSIX (only fd 2 is and gawk has that path hardcoded to the fd and thus it works), but the error is somewhere else and "fixing" it like this doesn't help anyone.
6187206a02
This reverts commit 3ecebca46f.
3ecebca46f