diff --git a/NEWS b/NEWS
index 86b03b39c..79f1c890f 100644
--- a/NEWS
+++ b/NEWS
@@ -7,6 +7,10 @@ New in spot 2.10.5.dev  (not yet released)
     print_hoa() will now use state numbers matching those of the
     kripke_graph (issue #505).
 
+  Bug fixed:
+
+  - Fix compilation error on MacOS X.
+
 New in spot 2.10.5  (2022-05-03)
 
   Bugs fixed:
diff --git a/THANKS b/THANKS
index ea99ede61..0258eb7c9 100644
--- a/THANKS
+++ b/THANKS
@@ -46,10 +46,11 @@ Paul Guénézan
 Reuben Rowe
 Roei Nahum
 Rüdiger Ehlers
-Silien Hong
-Simon Jantsch
+Shachar Itzhaky
 Shengping Shaw
 Shufang Zhu
+Silien Hong
+Simon Jantsch
 Sonali Dutta
 Tereza Šťastná
 Tobias Meggendorfer.
diff --git a/spot/parseaut/scanaut.ll b/spot/parseaut/scanaut.ll
index bf35810ed..71e677044 100644
--- a/spot/parseaut/scanaut.ll
+++ b/spot/parseaut/scanaut.ll
@@ -25,12 +25,15 @@
 
 /* %option debug */
 %top{
-#include "config.h"
+#include "libc-config.h"
 /* Flex 2.6.4's test for <inttypes.h> relies on __STDC_VERSION__
    which is undefined in C++.   So without that, it will define
-   its own integer types, including a broken SIZE_MAX definition.
-   So let's define __STDC_VERSION__ to make sure <inttypes.h> gets
-   included. */
+   its own integer types, including a broken SIZE_MAX definition that
+   breaks compilation on OpenBSD. So let's define __STDC_VERSION__ to
+   make sure <inttypes.h> gets included.  Redefining __STDC_VERSION__
+   this way can break all sort of macros defined in <cdefs.h>, so
+   we include "libc-config.h" instead of "config.h" above to define
+   those macros first. */
 #if HAVE_INTTYPES_H && !(defined __STDC_VERSION__)
 #  define __STDC_VERSION__ 199901L
 #endif
diff --git a/spot/parsetl/scantl.ll b/spot/parsetl/scantl.ll
index 554c28298..b315f636c 100644
--- a/spot/parsetl/scantl.ll
+++ b/spot/parsetl/scantl.ll
@@ -27,12 +27,15 @@
 %option never-interactive
 
 %top{
-#include "config.h"
+#include "libc-config.h"
 /* Flex 2.6.4's test for <inttypes.h> relies on __STDC_VERSION__
    which is undefined in C++.   So without that, it will define
-   its own integer types, including a broken SIZE_MAX definition.
-   So let's define __STDC_VERSION__ to make sure <inttypes.h> gets
-   included. */
+   its own integer types, including a broken SIZE_MAX definition that
+   breaks compilation on OpenBSD. So let's define __STDC_VERSION__ to
+   make sure <inttypes.h> gets included.  Redefining __STDC_VERSION__
+   this way can break all sort of macros defined in <cdefs.h>, so
+   we include "libc-config.h" instead of "config.h" above to define
+   those macros first. */
 #if HAVE_INTTYPES_H && !(defined __STDC_VERSION__)
 #  define __STDC_VERSION__ 199901L
 #endif