fixes linux64 configs wrt ssh key location