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