diff --git a/ml-proto/README.md b/ml-proto/README.md
index 5627b75618..3391584f91 100644
--- a/ml-proto/README.md
+++ b/ml-proto/README.md
@@ -15,7 +15,7 @@ The interpreter can also be run as a REPL, allowing to enter pieces of scripts i
 
 ## Building
 
-You'll need OCaml 4.02. The best way to get this is to download the source tarball from the ocaml website ( http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.2.tar.gz ) and do the configure / make dance.  On OSX, with [Homebrew](http://brew.sh/) installed, simply `brew install ocaml`.
+You'll need OCaml 4.02. The best way to get this is to download the source tarball from our mirror of the ocaml website ( https://wasm.storage.googleapis.com/ocaml-4.02.2.tar.gz ) and do the configure / make dance.  On OSX, with [Homebrew](http://brew.sh/) installed, simply `brew install ocaml`.
 
 Once you have ocaml, go to the `src` directory and simply do
 
@@ -36,7 +36,7 @@ and get an executable named `src/main.native`.
 
 ### Building on Windows
 
-Install OCaml for Windows from the github page: http://protz.github.io/ocaml-installer/
+Install OCaml for Windows from the github page: https://protz.github.io/ocaml-installer/
 
 The installer will automatically install core cygwin packages. Contrary to the directions, however, you need a set of additional packages for ocaml & ocamlbuild to work, so select them in the cygwin installer (or run cygwinsetup manually to add them after the fact):
 
diff --git a/ml-proto/travis/install-ocaml.sh b/ml-proto/travis/install-ocaml.sh
index a1bac07f77..2ca9182289 100755
--- a/ml-proto/travis/install-ocaml.sh
+++ b/ml-proto/travis/install-ocaml.sh
@@ -9,7 +9,13 @@ cd $(dirname ${BASH_SOURCE[0]})/..
 rm -rf ocaml
 mkdir ocaml
 cd ocaml
-curl http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.2.tar.gz -O
+curl https://wasm.storage.googleapis.com/ocaml-4.02.2.tar.gz -O
+CHECKSUM=$(shasum -a 256 ocaml-4.02.2.tar.gz | awk '{ print $1 }')
+if [ ${CHECKSUM} != \
+  9d50c91ba2d2040281c6e47254c0c2b74d91315dd85cc59b84c5138c3a7ba78c ]; then
+  echo "Bad checksum ocaml download checksum!"
+  exit 1
+fi
 tar xfz ocaml-4.02.2.tar.gz
 cd ocaml-4.02.2
 ./configure -prefix $PWD/../install