anchor.diff:      popd && \
       popd && \
       popd && \
  -    rm -rf $tmp && \
  -    export tmp=`mktemp -d` && \
  -    pushd $tmp && \
  -    wget https://github.com/BinaryAnalysisPlatform/qira/tarball/2d4cdfb121384f83ea8deec45c73b740687538f9 && \
  +    rm -rf $tmp
  +
  +RUN export tmp=`mktemp -d` && \
  +    pushd $tmp && \
  +    wget https://github.com/geohot/qira/tarball/2d4cdfb121384f83ea8deec45c73b740687538f9 && \
       tar -zxvf 2d4cdfb121384f83ea8deec45c73b740687538f9 && \
       mv geohot-qira-* ~/qira && \
       popd && \
  
positive.code:     tar xvzf pin-2.14-71313-gcc.4.4.7-linux.tar.gz && \
      mv pin-2.14-71313-gcc.4.4.7-linux ~/pin && \
      popd && \
      rm -rf $tmp && \
      export tmp=`mktemp -d` && \
      pushd $tmp && \
      wget https://github.com/JonathanSalwan/Triton/tarball/master && \
      tar -zxvf master && \
  
negative.code:     bash -c 'pip install -r REQUIREMENTS || pip install -r REQUIREMENTS || pip install -r REQUIREMENTS' && \
      ln -sf ~/recon-ng/recon-ng /usr/local/bin/recon-ng && \
      popd && \
      rm -rf ~/.cache/pip
  
  RUN export tmp=`mktemp -d` && \
      pushd $tmp && \
      wget http://www.capstone-engine.org/download/3.0.4/ubuntu-14.04/libcapstone3_3.0.4-0.1ubuntu1_amd64.deb && \
      wget http://www.capstone-engine.org/download/3.0.4/ubuntu-14.04/libcapstone-dev_3.0.4-0.1ubuntu1_amd64.deb && \
      dpkg -i libcapstone3_3.0.4-0.1ubuntu1_amd64.deb && \
      dpkg -i libcapstone-dev_3.0.4-0.1ubuntu1_amd64.deb && \
      popd && \
      rm -rf $tmp
  
  RUN pushd ~ && \
      git clone https://github.com/radare/radare2 && \
      pushd radare2 && \
      ./sys/install.sh && \
      find . -type f -name '*.o' -exec rm -f {} \; && \
      find . -type f -name '*.a' -exec rm -f {} \; && \
      popd && \
      popd
  
  RUN export tmp=$(mktemp -d) && \
      pushd $tmp && \
      wget https://github.com/Z3Prover/z3/tarball/z3-4.5.0 && \
      tar zxvf z3-4.5.0 && \
  