Fix POSIX awk.