diff --git a/libm b/libm
deleted file mode 120000
index 1a7f6db49..000000000
--- a/libm
+++ /dev/null
@@ -1 +0,0 @@
-../libm
\ No newline at end of file
diff --git a/libm b/libm
new file mode 160000
index 000000000..727581488
--- /dev/null
+++ b/libm
@@ -0,0 +1 @@
+Subproject commit 7275814884d839c72c10adf98a5b548f104257e1