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