The struggle with SSH key management under Linux