Ah, wait, if your pyenv version is indeed `20130613`, then you don't have to set the version explicitly because homebrew already extracts that part automatically.