diff --git a/src/driver/rcinput.cpp b/src/driver/rcinput.cpp
index 070c24fab..43288e0c6 100644
--- a/src/driver/rcinput.cpp
+++ b/src/driver/rcinput.cpp
@@ -1574,7 +1574,7 @@ void CRCInput::play_click()
 }
 
 
-#ifdef HAVE_COOLSTREAM_CS_IR_GENERIC_H
+#ifdef IOC_IR_SET_PRI_PROTOCOL
 // hint: ir_protocol_t and other useful things are defined in cs_ir_generic.h
 void CRCInput::set_rc_hw(ir_protocol_t ir_protocol, unsigned int ir_address)
 {
diff --git a/src/driver/rcinput.h b/src/driver/rcinput.h
index 5a88f0d48..64231c877 100644
--- a/src/driver/rcinput.h
+++ b/src/driver/rcinput.h
@@ -41,6 +41,9 @@
 #ifdef HAVE_COOLSTREAM_CS_IR_GENERIC_H
 #include <coolstream/cs_ir_generic.h>
 #endif
+#ifdef HAVE_COOLSTREAM_NEVIS_IR_H
+#include <nevis_ir.h>
+#endif
 
 #ifndef KEY_OK
 #define KEY_OK           0x160
@@ -152,7 +155,7 @@ class CRCInput
 		int translate(int code, int num);
 		void calculateMaxFd(void);
 		int checkTimers();
-#ifdef HAVE_COOLSTREAM_CS_IR_GENERIC_H
+#ifdef IOC_IR_SET_PRI_PROTOCOL
 		void set_rc_hw(ir_protocol_t ir_protocol, unsigned int ir_address);
 #endif
 	public: