Make replayer.cc build with DEBUGTAG.

Trivial fix.