Fixing paxos opts
Switching master branch