It seems just fine. I think `/usr/bin/awk` will do the trick either: it's the actual path in Ubuntu and Fedora.