fixed a bug on GNU AWK environ