Fix for the awk version in debian 7.3 (by not using awk)

Fixes the bug that electrical reported with debian 7.3. (I was testing 7.2)