How to remove octave-optiminterp from Debian 9 (Stretch)