add paxos file