diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 6a2bb5a..9fc4e0c 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -25,6 +25,11 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v2
 
+      - name: Hack Git CRLF for ocaml/setup-ocaml issue #529
+        if: ${{ startsWith(matrix.os, 'windows-') }}
+        run: |
+          & "C:\Program Files\Git\bin\git.exe" config --system core.autocrlf input
+
       - name: Use OCaml ${{ matrix.ocaml-version }}
         uses: avsm/setup-ocaml@v2
         with:
diff --git a/eigen/configure/configure.ml b/eigen/configure/configure.ml
index 4e4bfd4..2150ca0 100644
--- a/eigen/configure/configure.ml
+++ b/eigen/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_os =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}
 
diff --git a/eigen_cpp/configure/configure.ml b/eigen_cpp/configure/configure.ml
index ed99699..e7d0363 100644
--- a/eigen_cpp/configure/configure.ml
+++ b/eigen_cpp/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_os =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}