Update android build scripts.

scripts/android/init_boost.sh

@@ -1,16 +1,19 @@
-# /bin/bash
+#!/bin/sh
 
-WORKDIR=/opt/android
 ARCH=$1
-PREFIX="${WORKDIR}/prefix_${ARCH}"
-BOOST_FILENAME=boost_1_68_0.tar.bz2
+PREFIX=$2
+BOOST_SRC_DIR=$3
+BOOST_FILENAME=$4
+BOOST_VERSION=$5
 BOOST_FILE_PATH=$WORKDIR/$BOOST_FILENAME
-BOOST_SRC_DIR=$WORKDIR/boost_1_68_0
+BOOST_SHA256="83bfc1507731a0906e387fc28b7ef5417d591429e51e788417fe9ff025e116b1"
 
 if [ ! -e "$BOOST_FILE_PATH" ]; then
-	wget https://dl.bintray.com/boostorg/release/1.68.0/source/$BOOST_FILENAME -O $BOOST_FILE_PATH
+	curl -L http://downloads.sourceforge.net/project/boost/boost/${BOOST_VERSION}/${BOOST_FILENAME} > $BOOST_FILE_PATH
 fi
 
+echo $BOOST_SHA256 $BOOST_FILE_PATH | sha256sum -c - || exit 1
+
 cd $WORKDIR
 rm -rf $BOOST_SRC_DIR
 tar -xvf $BOOST_FILE_PATH -C $WORKDIR