fix SSH export, from #831