How to remove dejagnu from Debian Unstable (Sid)