Fix the build

Without this change, the build ends with

https://bugzilla.gnome.org/show_bug.cgi?id=720244