How to remove hhvm from Debian 9 (Stretch)