The history behind awk