awk patch