Index: gecode-6.2.0/Makefile.in
===================================================================
--- gecode-6.2.0.orig/Makefile.in	2020-08-08 17:21:43.000000000 +0300
+++ gecode-6.2.0/Makefile.in	2020-08-08 17:38:38.608012604 +0300
@@ -242,7 +242,7 @@
 	kernel/data kernel/propagator kernel/branch kernel/memory kernel/trace
 
 ifeq "@enable_flatzinc@" "yes"
-EXTRA_HEADERS   = gecode/support/config.hpp gecode/flatzinc/parser.tab.hh
+EXTRA_HEADERS   = gecode/support/config.hpp gecode/flatzinc/parser.tab.hpp
 else
 EXTRA_HEADERS   = gecode/support/config.hpp
 endif
@@ -1458,20 +1458,19 @@
 ifeq "@HAVE_FLEXBISON@" "yes"
 gecode/flatzinc/lexer.yy.cpp: \
 	$(top_srcdir)/gecode/flatzinc/lexer.lxx \
-	$(top_srcdir)/gecode/flatzinc/parser.tab.hh
+	$(top_srcdir)/gecode/flatzinc/parser.tab.hpp
 	flex -ogecode/flatzinc/lexer.yy.cpp \
 		$(top_srcdir)/gecode/flatzinc/lexer.lxx
 
-gecode/flatzinc/parser.tab.hh: gecode/flatzinc/parser.tab.cpp
+gecode/flatzinc/parser.tab.hpp: gecode/flatzinc/parser.tab.cpp
 
 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
 else
 ifneq "$(top_srcdir)" "."
 gecode/flatzinc/lexer.yy.cpp: $(top_srcdir)/gecode/flatzinc/lexer.yy.cpp
 	cp $(@:%=$(top_srcdir)/%) $@
-gecode/flatzinc/parser.tab.hh: $(top_srcdir)/gecode/flatzinc/parser.tab.hh
+gecode/flatzinc/parser.tab.hpp: $(top_srcdir)/gecode/flatzinc/parser.tab.hpp
 	cp $(@:%=$(top_srcdir)/%) $@
 gecode/flatzinc/parser.tab.cpp: $(top_srcdir)/gecode/flatzinc/parser.tab.cpp
 	cp $(@:%=$(top_srcdir)/%) $@
@@ -2104,7 +2103,7 @@
 	$(RMF) config.log config.status Makefile.dep
 
 depend: mkcompiledirs
-	@$(MAKE) $(VARIMP) gecode/flatzinc/parser.tab.hh
+	@$(MAKE) $(VARIMP) gecode/flatzinc/parser.tab.hpp
 	perl $(top_srcdir)/misc/makedepend.perl \
 	$(top_srcdir) \
 	$(ALLSRC) \
Index: gecode-6.2.0/gecode/flatzinc/parser.hh
===================================================================
--- gecode-6.2.0.orig/gecode/flatzinc/parser.hh	2020-08-08 18:28:28.051988000 +0300
+++ gecode-6.2.0/gecode/flatzinc/parser.hh	2020-08-08 18:28:50.675291525 +0300
@@ -61,7 +61,7 @@
 #include <gecode/flatzinc/varspec.hh>
 #include <gecode/flatzinc/conexpr.hh>
 #include <gecode/flatzinc/ast.hh>
-#include <gecode/flatzinc/parser.tab.hh>
+#include <gecode/flatzinc/parser.tab.hpp>
 #include <gecode/flatzinc/symboltable.hh>
 
 namespace Gecode { namespace FlatZinc {
