How to install prover9-mace4 on Debian Unstable (Sid)