How to remove s3dx11gate from Debian 9 (Stretch)