Added libconfigc++ header