int read_rc_file(char *filename, options_t *options);