-tracefilesize command-line option