How to remove libmrpt-nav1.3 from Debian Unstable (Sid)