source osdefaults.sh, gawk compat