--- Singular-Release-4-2-1p3/kernel/oswrapper/vspace.cc.orig	2021-12-17 11:35:18.000000000 -0700
+++ Singular-Release-4-2-1p3/kernel/oswrapper/vspace.cc	2022-03-03 16:09:04.971209163 -0700
@@ -555,6 +555,7 @@ int EventSet::wait() {
 
 } // namespace vspace
 #else
+#include <cstddef>
 #include <cstdlib>
 #include <unistd.h>
 #include <sys/mman.h>