How to remove festvox-don from Debian 9 (Stretch)