This tools is used to install `pyenv` and friends.