use octave 3.6 ppa