Added php-switch to switch between php5x versions