refresh autoconf infrastructure so that it has a fighting chance to work
with something not from the previous decade.
NB: I should eventually put back the OS specific stuff I've removed so
that we ca

refresh autoconf infrastructure so that it has a fighting chance to work
with something not from the previous decade.
NB: I should eventually put back the OS specific stuff I've removed so
that we can have a complete distribution.

show more ...

prefer NULL over 0

fix format string