dannycoates/paxos-core not found