diff --git a/build-aux/pointer.sh b/build-aux/pointer.sh
index 49ef8af2..14ad1e0a 100755
--- a/build-aux/pointer.sh
+++ b/build-aux/pointer.sh
@@ -34,7 +34,6 @@ sed -ri                                                         \
     -e 's,CDADAR \(([^()]*)\),\1->cdr->car->cdr->car,'          \
                                                                 \
     include/mes/builtins.h                                      \
-    include/mes/cc.h                                            \
     include/mes/mes.h                                           \
     include/mes/symbols.h                                       \
     include/mes/builtins.h                                      \