diff -up ./clients/memflush.cc.old ./clients/memflush.cc

--- ./clients/memflush.cc.old	2017-02-12 10:12:59.615209225 +0100

+++ ./clients/memflush.cc	2017-02-12 10:13:39.998382783 +0100

@@ -39,7 +39,7 @@ int main(int argc, char *argv[])

 {

   options_parse(argc, argv);

-  if (opt_servers == false)

+  if (!opt_servers)

   {

     char *temp;

@@ -48,7 +48,7 @@ int main(int argc, char *argv[])

       opt_servers= strdup(temp);

     }

-    if (opt_servers == false)

+    if (!opt_servers)

     {

       std::cerr << "No Servers provided" << std::endl;

       exit(EXIT_FAILURE);