anchor.diff:  
   # Install required packages and set versions
   RUN apt-get -qq update
  -RUN apt-get install --yes sudo wget libssl-dev libsqlite3-dev g++-5 gcc-5 m4 make opam pkg-config python libgmp3-dev unzip cmake
  -RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 200
  -RUN update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 200
  +RUN apt-get install --yes sudo wget libssl-dev libsqlite3-dev g++ gcc m4 make opam pkg-config python libgmp3-dev unzip cmake
   
   # Create user
   RUN useradd -ms /bin/bash Work
  
positive.code: WORKDIR /home/Work
  
  # Prepare and build HACL*
  ARG CACHEBUST=1
  RUN git clone https://github.com/mitls/hacl-star.git
  WORKDIR /home/Work/hacl-star
  RUN git checkout master
  
negative.code: FROM ubuntu:bionic
  
  MAINTAINER Benjamin Beurdouche <benjamin.beurdouche@inria.fr>
  # Based on the original F* formula with Daniel Fabian
  