virtualbox-extensionpack/debian/prerm: remove on 'deconfigure' too