Fixed bug in ssh_config where an empty host parameter was not handled