configuration: Add missing header...