Fix for miniconda