2. make sure your OS is not automatically unzipping it
3. move *.gz file from ~/Download to pybis/src/vagrant/jupyter-bis
2. make sure your OS is not automatically unzipping it (Safari: hold alt button while clicking on
the download link or disable opening «safe» files after downloading in preferences). Otherwise, the original .gz file can be found in the trash instead.
3. move *.gz file from ~/Downloads to pybis/src/vagrant/jupyter-bis