Turning two SSH piped commands into a single one.