int check_user_conf_dir(void); char *get_user_key_binding_filename(void); int read_configuration(options_t *options);