tracefile set by runscripts.rb. option for saving traces