Since the demo now uses GLFW it could call glfwGetTime, which uses clock_gettime where available.