awk deliberately places all output redirected to the same file name onto the same file descriptor. it is not a bug; do not change awk's behaviour.