diff --git a/.gitattributes b/.gitattributes
index 7b62fb5202a3ae606d0ca6e5379575d004189c3c..bbbbc10aab9afcc9c065139f5078d0dc9055d852 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -393,6 +393,7 @@ tools/peasoup_link -text
 tools/peasoup_link++ -text
 tools/pin/LICENSE -text
 tools/pin/itraceunique.cpp -text
+tools/pin/itraceunique.so -text
 tools/pin/pin -text
 tools/ps_analyze.sh -text
 tools/ps_comp++.sh -text
diff --git a/tools/pin/itraceunique.so.REMOVED.git-id b/tools/pin/itraceunique.so.REMOVED.git-id
new file mode 100644
index 0000000000000000000000000000000000000000..b5a04997780628c2a419d0b259ec4143bd0e6648
--- /dev/null
+++ b/tools/pin/itraceunique.so.REMOVED.git-id
@@ -0,0 +1 @@
+319f03fbf11c3858f630d0e4649be4800809ab85
\ No newline at end of file