add get_trace_filename
version 1.7.3