* toolbox: use nawk instead of awk (Fixes: #780).