Use autoconf answers from config.h (FIXME, should autoconf this file