diff --git a/jenkins/SO/install b/jenkins/SO/install
index 1292826..7000c8e 100755
--- a/jenkins/SO/install
+++ b/jenkins/SO/install
@@ -36,7 +36,7 @@
 ###############################################################################
 # Set up repo and version
 PLATFORM_REPOSITORY=OSM3
-PLATFORM_VERSION=5.2.0.3.73627
+PLATFORM_VERSION=5.2.0.2.72254
 
 while getopts ":P:V:h" o; do
     case "${o}" in