Update patch-xspecbin.awk