--- a/src/lib/netlist/plib/palloc.h	2020-06-26 07:55:07.000000000 +0200
+++ b/src/lib/netlist/plib/palloc.h	2020-06-27 17:37:11.920172697 +0200
@@ -16,6 +16,7 @@
 
 #include <algorithm>
 #include <cstddef>      // for std::max_align_t (usually long long)
+#undef PAGESIZE	// for PAGESIZE
 #include <memory>
 #include <type_traits>
 #include <utility>
