Rename the PHP binary alias to "php5x"
(cherry picked from commit cb73b3d)
Disable PHP intl
(cherry picked from commit e91eaf2)
Bump PHP 5.5.8