diff --git a/rbmt-version b/rbmt-version
index d080ee8a2..642e44101 100644
--- a/rbmt-version
+++ b/rbmt-version
@@ -1 +1 @@
-a5aab96ea13f3f0dca9a3e43e6a2123fffeecb84
+a25ccc712a61149f585aa66a14a3acf323d39b57