Configurable minisat+ binary location