diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index f63e48d16b..6e517f9f17 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -48,7 +48,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
-#include "opt_compat.h"
 #include "opt_ntp.h"
 #include "opt_ffclock.h"