add pyenv formula