diff --git a/.gitattributes b/.gitattributes
index 99c3daee2fb..9faee3c4229 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -8,6 +8,7 @@ Packages/Installation/doc_tex/installation/Fig/a-simp.ipe -text
 Packages/Installation/doc_tex/installation/Fig/c-simp.ipe -text
 Packages/Installation/doc_tex/installation/Fig/g-simp.ipe -text
 Packages/Installation/doc_tex/installation/Fig/l-simp.ipe -text
+Packages/Interval_arithmetic/src/Interval_arithmetic/workaround_4_ms.obj -text svneol=unset#unset
 Packages/Manual_tools/src/mstring.doc -text
 Packages/Matrix_search/doc_tex/Optimisation/Optimisation_ref/MatrixSearch_pcenter1.gif svneol=native#unset
 Packages/Matrix_search/doc_tex/Optimisation/Optimisation_ref/MatrixSearch_pcenter2.gif svneol=native#unset
diff --git a/Packages/Interval_arithmetic/src/Interval_arithmetic/workaround_4_ms.obj b/Packages/Interval_arithmetic/src/Interval_arithmetic/workaround_4_ms.obj
new file mode 100644
index 00000000000..6a99e2a229f
Binary files /dev/null and b/Packages/Interval_arithmetic/src/Interval_arithmetic/workaround_4_ms.obj differ