diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ba404ae3..b21e3595 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -61,6 +61,7 @@ jobs:
           brew install gcc autoconf make
           brew tap homebrew/cask
           brew install --cask phantomjs
+	  gcc --version
 
       - name: Install dependencies (macos, mlton)
         if: ${{ env.OS == 'darwin' && matrix.mlcomp == 'mlton' }}
diff --git a/src/Runtime/Profiling.h b/src/Runtime/Profiling.h
index 7d80610e..ec6d6a4a 100644
--- a/src/Runtime/Profiling.h
+++ b/src/Runtime/Profiling.h
@@ -133,7 +133,7 @@ extern long raised_exn_overflow_prof;
 
 #else /*PROFILING not defined */
 
-void queueMark();  /* does nothing */
+void queueMark(StringDesc *str);  /* does nothing */
 
 #endif /*PROFILING*/