How to remove libmygui.ogreplatform0debian1v5 from Debian 9 (Stretch)