Fixed bug #929: Directory name management in .profiler_output_dir (and trace_output_dir).