Fix random ping failures.
- re-introduce the fix that was partly removed in an earlier commit

Change-Id: I08341023df1935886a34fa0f6beeaac8283c54e1
diff --git a/VERSION b/VERSION
index a3f4f9c..6cfec74 100755
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2.5-dev172
+1.2.5-dev173