diff --git a/deterministic_build/Dockerfile_AndroidProof b/deterministic_build/Dockerfile_AndroidProof
index 678ff36..352fbc7 100644
--- a/deterministic_build/Dockerfile_AndroidProof
+++ b/deterministic_build/Dockerfile_AndroidProof
@@ -1,6 +1,6 @@
 FROM ubuntu:17.10
 ARG REPO_PATH
-RUN apt-get update -y && \
+RUN sed -i s/archive/old-releases/g /etc/apt/sources.list && sed -i s/security.ubuntu/old-releases.ubuntu/g /etc/apt/sources.list && apt-get update -y && \
     apt-get install -y software-properties-common && \
     apt-get update -y && \
     apt-get install -y lib32stdc++6 lib32z1 lib32z1-dev lib32ncurses5 libc6-dev libgmp-dev libmpc-dev libmpfr-dev libxslt-dev libxml2-dev m4 ncurses-dev openssh-client wget openjdk-8-jdk python2.7 python-pip git unzip && \