Main: require at least gawk 4.0.0
Main: fix a regression bug with option -play