Version 1.17.0-dev.4.1

Cherry-pick '8babc61b57094cd8980ffe180018d3a7e8d2f371' into dev
diff --git a/tools/VERSION b/tools/VERSION
index 16386c7..2739e60 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 17
 PATCH 0
 PRERELEASE 4
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1