BTW, Debian #790776 is not related to this FTBFS at this time, so the provided patch should not make into Debian.
BTW, Debian #790776 is not related to this FTBFS at this time, so the provided patch should not make into Debian.