Fixed powers in auto_ir_mk8