diff --git a/hs/package.mo.yaml b/hs/package.mo.yaml
index ff479b7b1e..1623c562c7 100644
--- a/hs/package.mo.yaml
+++ b/hs/package.mo.yaml
@@ -140,6 +140,7 @@ executables:
     - -threaded
     - -rtsopts
     - -with-rtsopts=-N
+    - -optP-Wno-nonportable-include-path
     dependencies:
     - neat-interpolation
     - parsec