Fix awk scripts to work in Linux