awk source code