Kleine Ergänzung schonmal: Bei Verwendung von ConnectBot (Android) tritt der segfault nicht auf. Ich nutze derzeit Putty 0.71; wie ich sehe, gibt es derzeit 0.73, werde das nachher mal installieren und testen.