fix awk segfault