install -vD simp/minisat_release "$INSTALL_ROOT"/usr/bin/minisat
