Which configuration file contains the default options for SSH clients?