with the new miniconda docker image, curl is not pre-installed anymore, so this installs it before using.