Merge branch 'master' of github.com:simgrid/simgrid

diff --cc include/xbt/config.hpp
index a274225,1ce01c3..236d87f
--- 1/include/xbt/config.hpp
--- 2/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@@ -167,11 -169,13 +169,13 @@@ typename std::enable_if<std::is_same
  bindFlag(T& value, const char* name, const char* description,
    F callback)
  {
-   declareFlag(name, description, value, [&value, callback](const T& val) {
-     if (not callback(val))
-       throw std::range_error("invalid value.");
-     value = std::move(val);
-   });
+   declareFlag(name, description, value,
+     std::function<void(const T&)>([&value, callback](const T& val) {
+       if (not callback(val))
 -        throw std::range_error("invalid value");
++        throw std::range_error("invalid value.");
+         value = std::move(val);
+     })
+   );
  }
  
  /** A variable bound to a CLI option