termux-packages/packages/prover9
..
build.sh