diff --git a/src/K2 b/src/K2
index 86b085486..0c20c107e 160000
--- a/src/K2
+++ b/src/K2
@@ -1 +1 @@
-Subproject commit 86b0854860c54d0b68d99e9fcd27fe44bdea5a65
+Subproject commit 0c20c107e08089342c837ca03aa3f153cbe7640b
diff --git a/src/pro b/src/pro
index 138176fac..2d95e19e8 160000
--- a/src/pro
+++ b/src/pro
@@ -1 +1 @@
-Subproject commit 138176fac98136e70e3e9c40d6b64659fdaafeda
+Subproject commit 2d95e19e8d89f9eb1fe6e12bc734429a3fa3a096