Use phpenv to set the PHP version globally