Make octave not the default.