ir.h: Forgotten headers