pyenv now back to using HEAD