Extra labels on an inheriting target via `extra_labels_add` remove the extra labels of the mother target. This manifests then in device.h not being found during compilation. @MarceloSalazar