Better run script for Paxos.