gss-server-timeで -aオプションを使わない場合も記述しました