How to remove ml-yacc from Debian 9 (Stretch)