diff --git a/modules/juce_core/juce_core.cpp b/modules/juce_core/juce_core.cpp
old mode 100644
new mode 100755
index 79fa34f61a..890cd3680e
--- a/modules/juce_core/juce_core.cpp
+++ b/modules/juce_core/juce_core.cpp
@@ -110,6 +110,10 @@
  #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
old mode 100644
new mode 100755
index 9346225601..8b687d8f69
--- a/modules/juce_core/native/juce_linux_SystemStats.cpp
+++ b/modules/juce_core/native/juce_linux_SystemStats.cpp
@@ -20,6 +20,7 @@
   ==============================================================================
 */
 
+
 namespace juce
 {
 
@@ -175,18 +176,19 @@ void CPUInformation::initialise() noexcept
 //==============================================================================
 uint32 juce_millisecondsSinceStartup() noexcept
 {
-    timespec t;
-    clock_gettime (CLOCK_MONOTONIC, &t);
-
-    return (uint32) (t.tv_sec * 1000 + t.tv_nsec / 1000000);
+    return uint32 (Time::getHighResolutionTicks() / 1000);
 }
 
 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