diff --git a/util/version_cmp b/util/version_cmp index 9e05e3d0..91e1a90c 100755 Binary files a/util/version_cmp and b/util/version_cmp differ