Small fixes to ssh4py