replayshell.cc: Remove unnecessary header