diff --git a/configure.ac b/configure.ac
index 651fc9c194fb0..d1d483447f74f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -397,6 +397,7 @@ resolv.h \
 strings.h \
 syslog.h \
 sysexits.h \
+sys/auxv.h \
 sys/ioctl.h \
 sys/file.h \
 sys/mman.h \
diff --git a/ext/standard/crc32.c b/ext/standard/crc32.c
index a0e5d6d816091..ee8ef685d6aff 100644
--- a/ext/standard/crc32.c
+++ b/ext/standard/crc32.c
@@ -18,7 +18,7 @@
 #include "basic_functions.h"
 #include "crc32.h"
 
-#if defined(__aarch64__)
+#if defined(__aarch64__) && defined(HAVE_SYS_AUXV_H)
 # include <arm_acle.h>
 # if defined(__linux__)
 #  include <sys/auxv.h>
@@ -83,7 +83,7 @@ PHP_FUNCTION(crc32)
 
 	crc = crcinit^0xFFFFFFFF;
 
-#if defined(__aarch64__)
+#if defined(__aarch64__) && defined(HAVE_SYS_AUXV_H)
 	if (has_crc32_insn()) {
 		crc = crc32_aarch64(crc, p, nr);
 		RETURN_LONG(crc^0xFFFFFFFF);