diff --git a/configure b/configure
index a8ff1aed703b07297e66e5897d289dd2f206b17b..310c42a5034df69aa7dbe93df37ef08e44e02679 100755
--- a/configure
+++ b/configure
@@ -726,6 +726,7 @@ CONFIGURE_ARGS="$@"
 process "$@"
 print_webm_license ${BUILD_PFX}vpx_config.c "/*" " */"
 cat <<EOF >> ${BUILD_PFX}vpx_config.c
+#include "vpx/vpx_codec.h"
 static const char* const cfg = "$CONFIGURE_ARGS";
 const char *vpx_codec_build_config(void) {return cfg;}
 EOF