replayshell.cc: clean up some unnecessary includes