Minor fix: missing free in configuration.cpp