The buddy version now works with gawk