awk portability fixes