いつのまにかgawk 3.1.7が出てた。