Don't need to keep publish logs any more (crab.log suffices).
Fix compilation bug after merge.