-tracefile command-line option