Update libconfig.h