diff --git a/rangetest.c b/rangetest.c
index 8f32346..926c6db 100644
--- a/rangetest.c
+++ b/rangetest.c
@@ -3,7 +3,8 @@ int g_stopped;
 #define occam_stop(pos, nargs, format, args...) do { g_stopped = 1; } while (0)
 
 #define occam_INT_size SIZEOF_INT
-#include "support/tock_support_cif.h"
+#define occam_extra_param 
+#include "support/tock_support.h"
 
 #define report_failure(msg, args...) { printf(msg, ##args); }