Ignore pipe errors from gawk, zenity --progress
Merge branch 'master' into debian