normally with CONFIGURE_ARGS/CONFIGURE_ENV. But patch the script to avoid running configure twice. ok aja@