anchor.diff:      update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.9 20 && \
       update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.9 20
   
  -# Install decent vim configuration
  -RUN mkdir /root/.vim && \
  -    git clone https://github.com/tpope/vim-pathogen.git /root/.vim && \
  -    echo 'execute pathogen#infect() | syntax on | filetype plugin indent on' > /root/.vimrc && \
  -    git clone https://github.com/tpope/vim-sensible.git /root/.vim/bundle
  +# Intall ruby 2+
  +# Ubuntu's package does stupid things with ruby 2.0
  +RUN add-apt-repository -y ppa:brightbox/ruby-ng && \
  +    apt-get update && \
  +    apt-get install -y ruby2.2 && \
  +    apt-get install -y ruby-switch && \
  +    ruby-switch --set ruby2.2
   
   # Install ocaml
  +ENV OPAMYES 1
  +
   RUN add-apt-repository -y ppa:avsm/ppa && apt-get update && \
       apt-get install -y ocaml ocaml-native-compilers camlp4-extra opam time && \
  -    export OPAMYES=1 && export OCAMLRUNPARAM=b && opam init && eval `opam config env` && opam install ocamlfind
  +    opam init -a && \
  +    opam install ocamlfind && \
  +    echo -e "\neval \`opam config env\`\n" >> /root/.bashrc
   
   RUN mkdir -p /software/boost-1.56 && \
       cd /software/boost-1.56 && \
       wget --no-verbose -T 10 http://downloads.sourceforge.net/boost/boost_1_56_0.tar.bz2 && \
       tar xvfj boost_1_56_0.tar.bz2 && \
       cd /software/boost-1.56/boost_1_56_0 && \
  -    ./bootstrap.sh --without-libraries=python --prefix=/usr && ./b2 -j 8 stage threading=multi link=shared && ./b2 -j 8 install threading=multi link=shared
  +    ./bootstrap.sh --without-libraries=python --prefix=/usr && \
  +    ./b2 -j 8 stage   threading=multi link=shared && \
  +    ./b2 -j 8 install threading=multi link=shared
   
   # Install GHC and cabal
   ENV PATH /opt/ghc/7.10.1/bin:/opt/cabal/1.22/bin:/opt/alex/3.1.4/bin:/opt/happy/1.19.5/bin:/root/.cabal/bin/:$PATH
  
positive.code: RUN mkdir -p /k3/K3 /k3/K3-Mosaic && \
      git clone https://github.com/DaMSL/K3.git /k3/K3 && \
      git clone https://github.com/DaMSL/K3-Mosaic.git /k3/K3-Mosaic
  
negative.code:     cabal update && \
      cabal install cabal-install -j
  
  # Install libre2
  RUN add-apt-repository -y ppa:pi-rho/security && \
      apt-get update && \
      apt-get install -y libre2-dev
  
  # Install csvpp
  RUN git clone https://git01.codeplex.com/forks/wjjt/csvpp /software/csvpp && \
  