Let's call this `gawk` insteald of `awk` since the gnome version is crucial for this to work.