anchor.diff:      m4 \
       && apt-get clean
   
  -RUN mkdir mpir; cd mpir; wget http://mpir.org/mpir-2.7.0-alpha11.tar.bz2; \
  -    tar -xvf mpir-2.7.0-alpha11.tar.bz2; cd mpir-2.7.0; \
  -    ./configure M4=/usr/bin/m4 --enable-gmpcompat --disable-static --enable-shared; \
  -    make; make install; \
  -    cd ../..; \
  +RUN mkdir mpir && cd mpir && wget http://mpir.org/mpir-2.7.0-alpha11.tar.bz2 && \
  +    tar -xvf mpir-2.7.0-alpha11.tar.bz2 && cd mpir-2.7.0 && \
  +    ./configure M4=/usr/bin/m4 --enable-gmpcompat --disable-static --enable-shared && \
  +    make && make install && \
  +    cd ../.. && \
       rm -rf mpir
   
  -RUN mkdir mpfr; cd mpfr; wget http://www.mpfr.org/mpfr-current/mpfr-3.1.3.tar.bz2; \
  -    tar -xvf mpfr-3.1.3.tar.bz2; cd mpfr-3.1.3; \
  -    ./configure --with-gmp=/usr/local --disable-static --enable-shared; \
  -    make; make install; \
  -    cd ../..; \
  +RUN mkdir mpfr && cd mpfr && wget http://www.mpfr.org/mpfr-current/mpfr-3.1.3.tar.bz2 && \
  +    tar -xvf mpfr-3.1.3.tar.bz2 && cd mpfr-3.1.3 && \
  +    ./configure --with-gmp=/usr/local --disable-static --enable-shared && \
  +    make && make install && \
  +    cd ../.. && \
       rm -rf mpfr
   
  -RUN mkdir flint2; cd flint2; git clone https://github.com/wbhart/flint2.git; \
  -    cd flint2; \
  -    ./configure --disable-static --enable-shared --with-mpir --with-mpfr; \
  -    make; make install; \
  -    cd ../..; \
  +RUN mkdir flint2 && cd flint2 && git clone https://github.com/wbhart/flint2.git && \
  +    cd flint2 && \
  +    ./configure --disable-static --enable-shared --with-mpir --with-mpfr && \
  +    make && make install && \
  +    cd ../.. && \
       rm -rf flint2
   
   # RCall
  
positive.code:     && apt-get clean
  
  # Stan
  RUN mkdir stan; cd stan; wget https://github.com/stan-dev/cmdstan/releases/download/v2.5.0/cmdstan-2.5.0.tar.gz; \
      tar -xzvf cmdstan-2.5.0.tar.gz; mv cmdstan /usr/share/cmdstan; \
      (cd /usr/share/cmdstan && make build); \
      echo "export CMDSTAN_HOME=/usr/share/cmdstan" > /etc/profile.d/cmdstan.sh; \
      chmod 755 /etc/profile.d/cmdstan.sh; \
      cd ..; \
      rm -rf stan
  
  # Nemo
  
negative.code:     && apt-get clean
  
  # Ipopt
  RUN mkdir ipopt && cd ipopt && wget  http://www.coin-or.org/download/source/Ipopt/Ipopt-3.12.1.tgz && \
      tar -xzf Ipopt-3.12.1.tgz && cd Ipopt-3.12.1 && \
      cd ThirdParty/Blas && ./get.Blas && ./configure --prefix=/usr/local --disable-shared --with-pic && make install && cd ../.. && \
      cd ThirdParty/Lapack && ./get.Lapack && ./configure --prefix=/usr/local --disable-shared --with-pic && make install && cd ../.. && \
      cd ThirdParty/Mumps && ./get.Mumps && cd ../ASL && ./get.ASL && cd ../.. && \
      env LIBS='-lgfortran' ./configure --prefix=/usr/local --enable-dependency-linking coin_skip_warn_cxxflags=yes --with-blas=/usr/local/lib/libcoinblas.a --with-lapack=/usr/local/lib/libcoinlapack.a && \
      make install && \
      echo "/usr/local/lib" > /etc/ld.so.conf.d/ipopt.conf && ldconfig && \
      cd ../.. && \
      rm -rf ipopt
  
  # Cbc
  RUN mkdir cbc && cd cbc && wget http://www.coin-or.org/download/source/Cbc/Cbc-2.8.12.tgz && \
      tar -xzf Cbc-2.8.12.tgz && cd Cbc-2.8.12 && \
      ./configure --prefix=/usr/local --enable-dependency-linking --without-blas --without-lapack --enable-cbc-parallel && \
      make install && \
      echo "/usr/local/lib" > /etc/ld.so.conf.d/cbc.conf && ldconfig && \
      cd ../.. && \
      rm -rf cbc
  
  # MPI
  