diff --git a/bin/versions b/bin/versions
index 0d1fdd77f..7a2e11fcb 100644
--- a/bin/versions
+++ b/bin/versions
@@ -1,7 +1,7 @@
 MONO_VERSION=5.0.0.100
 Z3_VERSION=4.5.0
-BOOGIE_COMMIT=260070daa2
-CORRAL_COMMIT=438cc5dd5d
+BOOGIE_COMMIT=c609ee2864
+CORRAL_COMMIT=b2738b4839
 LOCKPWN_COMMIT=a4d802a1cb
 LLVM_SHORT_VERSION=3.9
 LLVM_FULL_VERSION=3.9.1