More compact code for flushing buffers on SBCL.