tfrce_config → tdwfb_config; add debugging