How to remove libptscotch-dev from Debian Unstable (Sid)