circleci: fixed binary filename

AlexeyAB

2017-10-18 fe3f3c00e0f940dabf0b6e6b315e4f4a02fc694f

 src/utils.h

@@ -63,6 +63,9 @@
char *find_char_arg(int argc, char **argv, char *arg, char *def);
int sample_array(float *a, int n);
void print_statistics(float *a, int n);
unsigned int random_gen();
float random_float();
float rand_uniform_strong(float min, float max);

#endif