Media Temple Grid Server アカウントで Zend Tool を使用しようとしています。問題は、インストールされている PHP の CLI バージョンが 4.4.8 であり、Zend Framework が PHP5 を必要とすることです。アカウントごとに PHP 4 または 5 を選択できますが、CLI では選択できません。拡張子 .php5 を使用して PHP5 を使用するようにグローバルに選択することは可能ですが、シェル スクリプト zf.sh によって呼び出される Zend ツールの場合、どのようなオプションがあるかわかりません。PHP5 は /usr/bin/php5 のサーバー上にあり、MT の誰かが php=/usr/bin/php5 というエイリアスを作成することを提案しましたが、それが機能するかどうかはわかりません。何か案は？