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