diff --git a/modules/juce_audio_devices/juce_audio_devices.cpp b/modules/juce_audio_devices/juce_audio_devices.cpp
index d6e1e99076..a7f816e979 100644
--- a/modules/juce_audio_devices/juce_audio_devices.cpp
+++ b/modules/juce_audio_devices/juce_audio_devices.cpp
@@ -149,7 +149,6 @@
      installed, or you've not got your paths set up correctly to find its header
      files.
   */
-  #include <rtdk.h>
   #include <Bela.h>
   #include <Midi.h>
  #endif
diff --git a/modules/juce_core/juce_core.cpp b/modules/juce_core/juce_core.cpp
index 890cd3680e..79fa34f61a 100755
--- a/modules/juce_core/juce_core.cpp
+++ b/modules/juce_core/juce_core.cpp
@@ -110,10 +110,6 @@
  #include <android/log.h>
 #endif
 
-#if JUCE_BELA
- #include <native/timer.h>
-#endif
-
 #undef check
 
 //==============================================================================
diff --git a/modules/juce_core/native/juce_linux_SystemStats.cpp b/modules/juce_core/native/juce_linux_SystemStats.cpp
index 8d553e4951..216cc5f62c 100755
--- a/modules/juce_core/native/juce_linux_SystemStats.cpp
+++ b/modules/juce_core/native/juce_linux_SystemStats.cpp
@@ -183,13 +183,9 @@ uint32 juce_millisecondsSinceStartup() noexcept
 
 int64 Time::getHighResolutionTicks() noexcept
 {
-   #if JUCE_BELA
-    return rt_timer_read() / 1000;
-   #else
     timespec t;
     clock_gettime (CLOCK_MONOTONIC, &t);
     return (t.tv_sec * (int64) 1000000) + (t.tv_nsec / 1000);
-   #endif
 }
 
 int64 Time::getHighResolutionTicksPerSecond() noexcept