add 'libc' to hello.awk