anchor.diff:  RUN \
   	cppcheck_version=1.77 && \
   	cd /tmp && \
  -	wget -O cppcheck-${cppcheck_version}.tar.gz https://github.com/danmar/cppcheck/archive/${cppcheck_version}.tar.gz && \
  +	wget --progress=dot:mega -O cppcheck-${cppcheck_version}.tar.gz https://github.com/danmar/cppcheck/archive/${cppcheck_version}.tar.gz && \
   	tar -zxf cppcheck-${cppcheck_version}.tar.gz && \
   	apt-get -y install libpcre3-dev && \
   	(cd cppcheck-${cppcheck_version} && make install -j`nproc` SRCDIR=build CFGDIR=/usr/share/cppcheck/cfg HAVE_RULES=yes CXXFLAGS="-O2 -DNDEBUG -Wall -Wno-sign-compare -Wno-unused-function") && \
  
positive.code: RUN \
  	z3_version=4.7.1 && \
  	cd /tmp && \
  	wget -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/ && \
  
negative.code: 	rm -rf /tmp/z3-${z3_version}-x64-ubuntu-16.04 z3.zip
  
  RUN cd /tmp \
  	&& wget --progress=dot:mega https://bootstrap.pypa.io/get-pip.py \
  	&& python get-pip.py \
  	&& rm get-pip.py \
  	&& pip install mkdocs \
  