Fix bugs in PaxosFileLogger