Added modpaxos proj