o Minor bugfixes:
    - Fix warnings that newer versions of autoconf produced during
      ./autogen.sh. From what I can tell these were harmless in our case,
      but they were extremely verbose.  Fixes bug 2020.