Rename the PHP binary alias to "php5"
Rename the PHP binary alias to "php5x"