anchor.diff:  	cmake_major_minor=3.10 && \
   	cmake=cmake-${cmake_major_minor}.2-Linux-x86_64 && \
   	cd /tmp && \
  -	wget https://cmake.org/files/v${cmake_major_minor}/${cmake}.tar.gz && \
  +	wget --progress=dot:mega https://cmake.org/files/v${cmake_major_minor}/${cmake}.tar.gz && \
   	tar -xzvf ${cmake}.tar.gz && \
   	cp -R ${cmake}/bin ${cmake}/share /usr && \
   	rm -rf ${cmake} ${cmake}.tar.gz
   
   RUN mkdir /buildAgent && cd /buildAgent && \
  -	wget https://build.mbeddr.com/update/buildAgent.zip && \
  +	wget --progress=dot:mega https://build.mbeddr.com/update/buildAgent.zip && \
   	unzip buildAgent.zip && \
   	chmod +x /buildAgent/bin/agent.sh
   ADD ./buildAgent.properties /buildAgent/conf/buildAgent.properties
  
positive.code: 	&& 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 && \
  	tar -xjvf linux-amd64-github-release.tar.bz2 && \
  	mv bin/linux/amd64/github-release /usr/bin/ && \
  	rm -rf bin/
  
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/ && \
  