diff --git a/src/test/test_crc32.cpp b/src/test/test_crc32.cpp
index 19aafeab..8d8f54f8 100644
--- a/src/test/test_crc32.cpp
+++ b/src/test/test_crc32.cpp
@@ -6,9 +6,10 @@
 #include <unistd.h>
 #include <stdint.h>
 
+#undef WITH_ISAL
 #include "malloc_or_die.h"
 #include "errno.h"
-#include "crc32c.h"
+#include "crc32c.c"
 
 int main(int narg, char *args[])
 {