Index: gecode-6.2.0/Makefile.in
===================================================================
--- gecode-6.2.0.orig/Makefile.in	2020-08-09 07:16:43.000000000 +0300
+++ gecode-6.2.0/Makefile.in	2020-08-09 08:07:02.272586566 +0300
@@ -1467,6 +1467,7 @@
 gecode/flatzinc/parser.tab.cpp: $(top_srcdir)/gecode/flatzinc/parser.yxx
 	bison -t -o gecode/flatzinc/parser.tab.cpp -d $<
 	mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
+	sed -i 's/^#include "parser.tab.hpp"/#include "parser.tab.hh"/' gecode/flatzinc/parser.tab.cpp
 else
 ifneq "$(top_srcdir)" "."
 gecode/flatzinc/lexer.yy.cpp: $(top_srcdir)/gecode/flatzinc/lexer.yy.cpp
