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
decb6064ec