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