-={ 2016-12-02 23:42:51.887030547+00:00 }=-

Hey Dave!

 DV> It compiled fine on my i686 ArchLinux

Which awk do both of them have?  I've often heard of Debian based distributions
having issues with source that assumes gawk instead of mawk.  If your Pi has
mawk you might want to switch over to gawk.  It might be just that simple.  :-)

Life is good,
Maurice

... Ellen sceal on eorle; ecg sceal wið hellme hilde gebidan.
    Courage belongs in a warrior; sword against helmet shall face battle.
--- GNU bash, version 4.4.5(1)-release (x86_64-atom-linux-gnu)