Fix travis ci -- miniconda3 installs to different path than miniconda