OS を Debian 6 から 7 (Wheezy) にバージョンアップ。2,3の軽微な設定手直しが必要だったものの、順調に完了。