L'eseguibile PHP predefinito può essere trovato utilizzando:
$ which php
Nella maggior parte dei casi si tratta di un collegamento a una particolare versione di PHP:
lrwxrwxrwx 1 root root 21 aug 15 2016 /usr/bin/php -> /usr/bin/php7.1
Per cambiarlo in una versione diversa basta ricollegarlo a un altro
$ sudo rm /usr/bin/php
$ sudo ln -s /usr/bin/php5.6 /usr/bin/php
Prima di ricollegare devi assicurarti che la versione PHP di destinazione sia installata.
Forse puoi provare a sistemare l'ambiente!
$ php -v
PHP 5.4.x (cli) ...
$ set PATH="/usr/lib64/php5.6/bin:$PATH"
$ php -v
PHP 5.6.x (cli) ...
Oppure, se non vuoi modificare il PERCORSO per la tua sessione di shell, puoi definire l'ambito della modifica solo per il comando corrente:
$ php -v
PHP 5.4.x (cli) ...
$ env PATH="/usr/lib64/php5.6/bin:$PATH" php -v
PHP 5.6.x (cli) ...
$ php -v
PHP 5.4.x (cli) ...