Please note that although reportbug put 5.5.44-0+deb7u1 as the offending version, since that is what we are currently running, it was 5.5.46-0+deb7u1 that caused the problems we experienced.