Remove some (but not all) duplication of SSH key path.