Fixed file extension for octave mode