config-tool: header include fix