Update to (the one true) awk version 20121220.

ok pedro@
Use tostring() for strdup() error checking.

found by pedro@
ok pedro@