How to remove cppad from Debian 9 (Stretch)