anchor.diff:  	&& update-java-alternatives -s java-1.8.0-openjdk-amd64
   
   RUN cd /tmp && \
  -	wget https://github.com/aktau/github-release/releases/download/v0.6.2/linux-amd64-github-release.tar.bz2 && \
  +	wget --progress=dot:mega https://github.com/aktau/github-release/releases/download/v0.6.2/linux-amd64-github-release.tar.bz2 && \
   	tar -xjvf linux-amd64-github-release.tar.bz2 && \
   	mv bin/linux/amd64/github-release /usr/bin/ && \
   	rm -rf bin/
  
positive.code: 	rm -rf /tmp/z3-${z3_version}-x64-ubuntu-16.04 z3.zip
  
  RUN cd /tmp \
  	&& wget https://bootstrap.pypa.io/get-pip.py \
  	&& python get-pip.py \
  	&& rm get-pip.py \
  	&& pip install mkdocs \
  
negative.code: RUN \
  	z3_version=4.7.1 && \
  	cd /tmp && \
  	wget --progress=dot:mega -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/z3-${z3_version}-x64-ubuntu-16.04.zip && \
  	unzip z3.zip && \
  	mv z3-${z3_version}-x64-ubuntu-16.04/bin/z3 /usr/bin/ && \
  	mv z3-${z3_version}-x64-ubuntu-16.04/bin/libz3.so /usr/bin/ && \
  