Include file:
#include "mcrl2/utilities/dynamiclibrary.h"
dynamic_library
mcrl2/utilities/command_line_interface.h
mcrl2/utilities/exception.h
