What about `apt-get remove --purge --auto-remove hhvm` here? One command and purging might also be necessary...