Dead code in config.cpp