autoconf: put location of 'dtc' into config.h