trace: rerun tracetool after ./configure changes