some more details about ssh with smartcards