let's test if this is still needed
@@ -17,7 +17,7 @@ export PYTHONUNBUFFERED=1
# Install Miniconda.
echo ""
echo "Installing a fresh version of Miniconda."
-curl -L https://repo.continuum.io/miniconda/Miniconda2-latest-Linux-x86_64.sh > ~/miniconda.sh
+curl -L https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh > ~/miniconda.sh
bash ~/miniconda.sh -b -p ~/miniconda
(
source ~/miniconda/bin/activate root
