circleci: fixed binary filename

AlexeyAB

2017-10-18 fe3f3c00e0f940dabf0b6e6b315e4f4a02fc694f

 src/option_list.h

@@ -9,6 +9,8 @@
} kvp;


list *read_data_cfg(char *filename);
int read_option(char *s, list *options);
void option_insert(list *l, char *key, char *val);
char *option_find(list *l, char *key);
char *option_find_str(list *l, char *key, char *def);