--- a/src/SampleListener.h	2023-04-12 12:07:58.869097270 +0200
+++ b/src/SampleListener.h	2023-04-12 12:09:42.930392363 +0200
@@ -7,6 +7,7 @@
 #include <iostream>
 #include <string>
 #include <vector>
+#include <cstdint>
 
 namespace KINETO_NAMESPACE {
 
