More work on ssh file provider