fix compilation of traces.cpp