#19 also for degraphmalizer configurations itself (not only the libraries)