Remove unused no-repl-p param