PHPでSSHコマンドを実行する

必要が生じたのでちょっと調べてみた。
PHPだと

ssh2
http://php.net/manual/ja/book.ssh2.php

がある。この中には秘密鍵、公開鍵を用いてサーバーに
繋ぐものもあるのでこれが使えると思ったんだけど
つなぎ先ってのがAmazonEC2のインスタンスだったりして
実際に利用する鍵ってのが〜.pemの一つしかない。
パラメータを色々いじったり、↓ここを参照したりして
http://stackoverflow.com/questions/3802926/how-can-i-use-pem-files-in-phps-ssh2-functions
頑張ってみたんだけどどうもssh2の関数じゃできないっぽい。
結局↑のstackoverflowに書かれていたphpseclibを使うことにした。
あんまり追加でインストールってやりたくないんだけどなぁ。