add dump_octave