diff --git a/libcork b/libcork
index 7d5bbd55..5c818837 160000
--- a/libcork
+++ b/libcork
@@ -1 +1 @@
-Subproject commit 7d5bbd558c7bf6adbd07e6b45975fa818400a008
+Subproject commit 5c818837130e095f8bbd2bc0ccfbd411411ba78a