Fix a compilation problem with libconfig