Stupid autoconf question