flush to make octave happy