Make it possible to have multiple ssh keys per user