  o Minor bugfixes (build system):
    - Some configure options were either missing or incorrect in the configure
      summary. Fixes bug 32230; bugfix on 0.4.3.1-alpha.
