Change default values of the options in the utility.
Remove unused functor in synchronization_skeleton.hpp.