Get the proper version of miniconda