diff --git a/compile.sh b/compile.sh
index 9dcaf430a0..cfda71cce4 100755
--- a/compile.sh
+++ b/compile.sh
@@ -89,4 +89,4 @@ fi
 
 # If you are committing new version of this file, increment VERSION
 # Only integers are supported
-# VERSION=8
+# VERSION=9