Adjust the rbc downwards after a buffer-flush, to simplify debugger interrupts.