Fixed output file name for tracing target