configure flush_at_shutdown properly for buf_file