Work around DSA formatting bug in commercial-SSH 2.0.13