diff --git a/work2/helgrind-log-1-1 b/work2/helgrind-log-1-1.txt
similarity index 100%
rename from work2/helgrind-log-1-1
rename to work2/helgrind-log-1-1.txt
diff --git a/work2/helgrind-log-1-2 b/work2/helgrind-log-1-2.txt
similarity index 100%
rename from work2/helgrind-log-1-2
rename to work2/helgrind-log-1-2.txt
diff --git a/work2/thread-sanitizer-1.txt b/work2/thread-sanitizer-log-1.txt
similarity index 100%
rename from work2/thread-sanitizer-1.txt
rename to work2/thread-sanitizer-log-1.txt