The different PHP versions seems to be bash aliases, not executables