paxos: upload base code