That did occur to me, but it gives me Error, saying Couldn't find package libconfig.
apt-cache search libconfig