How to remove axiom-databases from Debian Unstable (Sid)