diff --git a/BUILD.sh b/BUILD.sh
index 0a079ed..7ccdeba 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -80,7 +80,7 @@
 # Set up repo and version
 
 PLATFORM_REPOSITORY=${1:-OSM3}
-PLATFORM_VERSION=${2:-5.2.0.2.72174}
+PLATFORM_VERSION=${2:-5.2.0.2.72254}
 
 ###############################################################################
 # Main block