debug symbol added
fix: now tracers.txt can be written