diff --git a/tools/scripts/tools_source.properties b/tools/scripts/tools_source.properties
index f23e52a19..b75e326a5 100644
--- a/tools/scripts/tools_source.properties
+++ b/tools/scripts/tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=3
+Pkg.Revision=4