diff --git a/src/system/boot/platform/generic/video_splash.cpp b/src/system/boot/platform/generic/video_splash.cpp
index 5b7db9ec21..d5918e8a51 100644
--- a/src/system/boot/platform/generic/video_splash.cpp
+++ b/src/system/boot/platform/generic/video_splash.cpp
@@ -11,8 +11,12 @@
 #include <boot/platform.h>
 #include <boot/menu.h>
 #include <boot/kernel_args.h>
-#include <boot/images.h>
 #include <boot/platform/generic/video.h>
+#ifdef HAIKU_DISTRO_COMPATIBILITY_OFFICIAL
+#include <boot/images.h>
+#else
+#include <boot/images-sans-tm.h>
+#endif
 
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/src/system/kernel/boot_splash.cpp b/src/system/kernel/boot_splash.cpp
index d4a117b164..9501ebec25 100644
--- a/src/system/kernel/boot_splash.cpp
+++ b/src/system/kernel/boot_splash.cpp
@@ -15,7 +15,11 @@
 #include <KernelExport.h>
 
 #define __BOOTSPLASH_KERNEL__
+#ifdef HAIKU_DISTRO_COMPATIBILITY_OFFICIAL
 #include <boot/images.h>
+#else
+#include <boot/images-sans-tm.h>
+#endif
 
 
 #include <boot_item.h>