Ssh: support case-insensitive entries everywhere