diff --git a/config.d/header_files.m4 b/config.d/header_files.m4
index 2f8bd6861..ee969e046 100644
--- a/config.d/header_files.m4
+++ b/config.d/header_files.m4
@@ -9,7 +9,7 @@ AC_HEADER_SYS_WAIT
 AC_CHECK_HEADERS(
 	alloca.h arpa/inet.h asm/io.h assert.h conio.h \
 	ctype.h ddraw.h dinput.h direct.h dirent.h dlfcn.h dmedia/audio.h \
-	dmedia/cdaudio.h dpmi.h dsound.h errno.h execinfo.h fcntl.h io.h \
+	dmedia/cdaudio.h dpmi.h dsound.h errno.h fcntl.h io.h \
 	ifaddrs.h libc.h limits.h linux/cdrom.h linux/joystick.h \
 	linux/soundcard.h machine/soundcard.h malloc.h math.h mgraph.h _mingw.h \
 	netdb.h netinet/in.h process.h pthread.h pwd.h rpc/types.h setjmp.h \
diff --git a/libs/video/targets/context_x11.c b/libs/video/targets/context_x11.c
index a7bae5570..49ba5c630 100644
--- a/libs/video/targets/context_x11.c
+++ b/libs/video/targets/context_x11.c
@@ -46,9 +46,6 @@ static __attribute__ ((used)) const char rcsid[] =
 #ifdef HAVE_UNISTD_H
 # include <unistd.h>
 #endif
-#ifdef HAVE_EXECINFO_H
-# include <execinfo.h>
-#endif
 
 #include <stdlib.h>
 #include <sys/ipc.h>