* gdiffmk.sh: Make sed pattern work with alternate result of GNU