Minor tweak for loading trace files; use full path rather
than just filenames.