raspberrypi/linux — pull request #721 by Pieter-Jan (2014-11-06 21:55:11+00:00)
Title: Added support for non-GNU AWK

Without this fix cross compiling from mac osX doesn't work