install stable version of phpenv instead of HEAD