use numeric id for ssh key in ci