configure: use AS_HELP_STRING for --with-disable-ext-lib