Backport: Really fix bug #11519, by fixing the last change in ralloc.c.