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