fix workaround for ssh keys