diff --git a/CMakeLists.txt b/CMakeLists.txt
index 01252aa..1ee1934 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -5,15 +5,14 @@ cmake_minimum_required(VERSION 3.6)
 set(CMAKE_C_STANDARD 11)
 set(CMAKE_CXX_STANDARD 17)
 
+
 # initalize pico_sdk from installed location
 # (note this can come from environment, CMake cache etc)
 set(PICO_SDK_PATH $ENV{PICO_SDK_PATH})
-# set(PICO_SDK_PATH "/mnt/c/Users/proti/Desktop/Personal_Code/Embedded_Projects/pico/pico-sdk")
 
 # Pull in Raspberry Pi Pico SDK (must be before project)
 include(pico_sdk_import.cmake)
 include_directories(${PROJECT_SOURCE_DIR}/src/)
-
 project(Coremark-RP2040 C CXX ASM)
 
 # Initialise the Raspberry Pi Pico SDK
diff --git a/src/core_portme.c b/src/core_portme.c
index 876d4cc..326b419 100644
--- a/src/core_portme.c
+++ b/src/core_portme.c
@@ -56,9 +56,9 @@ volatile ee_s32 seed5_volatile = 0;
 CORETIMETYPE barebones_clock()
 {
     #ifndef NDEBUG
-    return (CORETIMETYPE)get_absolute_time();
+    return (CORETIMETYPE)to_us_since_boot(get_absolute_time());
     #else
-    CORETIMETYPE t = get_absolute_time()._private_us_since_boot;
+    CORETIMETYPE t = to_us_since_boot(get_absolute_time());
     return t;
     #endif
 }