diff --git a/.github/workflows/hpcombi.yml b/.github/workflows/hpcombi.yml
index 66f866ee0..8b5605e48 100644
--- a/.github/workflows/hpcombi.yml
+++ b/.github/workflows/hpcombi.yml
@@ -1,4 +1,4 @@
-name: "HPCombi enabled"
+name: "HPCombi"
 on:
   workflow_dispatch:
   pull_request:
@@ -36,6 +36,13 @@ jobs:
           GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
           GAPBRANCH: ${{ matrix.gap-branch }}
           ABI: ${{ matrix.ABI }}
+      - name: TMP
+        run: |
+          cd $HOME/gap/pkg/semigroups
+          ./autogen.sh
+          ./configure
+          make print-HPCOMBI_CXXFLAGS
+          make print-LIBSEMIGROUPS_HPCOMBI_ENABLED
       - name: "Build Semigroups"
         uses: gap-actions/build-pkg@v1
         with:
diff --git a/GNUmakefile.in b/GNUmakefile.in
index b4aa14369..add1ab09f 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -39,7 +39,7 @@ KEXT_CPPFLAGS += -DHPCOMBI_CONSTEXPR_FUN_ARGS
 endif
 
 ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
-KEXT_CXXFLAGS += $(HPCOMBI_CXXFLAGS)
+KEXT_CXXFLAGS += @HPCOMBI_CXXFLAGS@
 endif
 
 ifdef WITH_INCLUDED_LIBSEMIGROUPS