Fix a few small problems in configure
Fix a few small problems in configure

Lint warnings, etc

webmaster128/botan,randombit/botan,randombit/botan,randombit/botan,randombit/botan,webmaster128/botan,webmaster128/botan,webmaster128/botan,randombit/botan,webmaster128/botan