Pass trace file as argument to TraceLink in a convoluted way.