diff --git a/samples/fitch/.mps/libraries.xml b/samples/fitch/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/fitch/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file
diff --git a/samples/lambdacalc/.mps/libraries.xml b/samples/lambdacalc/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/lambdacalc/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file
diff --git a/samples/mpscore/.mps/libraries.xml b/samples/mpscore/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/mpscore/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file