deprecate the repo option

Signed-off-by: Jeremy Mordkoff <jeremy.mordkoff@gmail.com>
diff --git a/BUILD.sh b/BUILD.sh
index 1f55b1a..b1d0a49 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -56,7 +56,7 @@
 	    echo
 	    echo "SYNOPSIS:"
 	    echo "  $0 -h|--help"
-	    echo "  $0 [--install] [PLATFORM_REPOSITORY] [PLATFORM_VERSION]"
+	    echo "  $0 [--install] [PLATFORM_VERSION]"
 	    echo
 	    echo "DESCRIPTION:"
 	    echo "  Prepare current system to run $MODULE.  By default, the system"
@@ -78,8 +78,7 @@
 ###############################################################################
 # Set up repo and version
 
-PLATFORM_REPOSITORY=${1:-OSM3}
-PLATFORM_VERSION=${2:-5.2.0.2.72254}
+PLATFORM_VERSION=${1:-5.2.0.3.73627}
 
 ###############################################################################
 # Main block