more generic name for ssh hosts files