Workarounds for old SSH clients.