define ssh key filename