setting should come from autoconf