diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
index 2f393ed7..ebea27c5 100644
--- a/.github/workflows/pure.yml
+++ b/.github/workflows/pure.yml
@@ -41,7 +41,7 @@ jobs:
     - name: Get build-essentials
       run: |
         apt update
-        apt install -y git build-essential gcc-10 libffi-dev wget mlton
+        apt install -y git build-essential gcc libffi-dev wget mlton
 
     - name: Checkout Poly/ML
       uses: actions/checkout@v4
diff --git a/examples/Makefile b/examples/Makefile
index 65de686c..29a8ad21 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -42,7 +42,7 @@ download:
 
 lib/cake.S:
 	wget -q https://github.com/cakeml/cakeml/releases/latest/download/cake-x64-64.tar.gz
-	@tar -zxf cake-x64-64.tar.gz --directory $(@D) cake-x64-64/$(@F) --strip-components 1
+	@tar -zxf cake-x64-64.tar.gz --directory $(@D) --strip-components 1 cake-x64-64/$(@F)
 	@rm cake-x64-64.tar.gz
 
 clean:
diff --git a/examples/lib/basis_ffi.c b/examples/lib/basis_ffi.c
index bce13da0..2927090a 100644
--- a/examples/lib/basis_ffi.c
+++ b/examples/lib/basis_ffi.c
@@ -489,7 +489,7 @@ void ffistdout (unsigned char *c, long clen, unsigned char *a, long alen) {
     a[1] = 0;
 }
 
-void write_ret_string(unsigned char *a, long alen, unsigned char *str) {
+void write_ret_string(unsigned char *a, long alen, char *str) {
     int length = strlen(str);
     if (length < 256 * 256 && length <= alen) {
         a[0] = length % 256;