rql #167329 Compilation broken with gecode 4.2.0 [validation pending]

Since the memory statistics have been removed from the search engine (see the changelog_)

Docutils System Messages

ReST / HTML errors:System Message: ERROR/3 (&lt;string&gt; , line 1); <em>backlink</em></p>
Unknown target name: "changelog".
priorityimportant
typebug
done in0.31.4
load0.250
load left0.000
closed by#5cad47e1ffbf [gecode] fix build against gecode 4.2.0 (closes #167329)