include: add missing header for up-to-date interactive governor.