Use full Miniconda filename.