diff --git a/base-linux/src/platform/linux_syscalls.h b/base-linux/src/platform/linux_syscalls.h
index 468c9078b..0b5832e20 100644
--- a/base-linux/src/platform/linux_syscalls.h
+++ b/base-linux/src/platform/linux_syscalls.h
@@ -41,6 +41,7 @@
 /* Genode includes */
 #include <util/string.h>
 #include <base/printf.h>
+#include <base/snprintf.h>
 
 
 /***********************************