using phpenv which should work