Patches for broken awk script subst.in [sf#1250967] [#900]