> * Do not redirect to /dev/null when calling ssh. Eric, I cannot apply this until we decide about the previous patch. Juliusz