いまさらだけど、Desktop版のawkは、mawkがデフォルトなんだな。
Server版は、gawkだけど。