Fixed bug #929: Directory name management in .profiler_output_dir (and .trace_output_dir).
Merged pull request #68