fix ReplRunner interface