Version 1.25.0-dev.16.3

Cherry-pick ef5c5533332d9044fdcb7848eb402bd313116d1e into dev
diff --git a/tools/VERSION b/tools/VERSION
index 75e9782..c9fa253 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 25
 PATCH 0
 PRERELEASE 16
-PRERELEASE_PATCH 2
+PRERELEASE_PATCH 3