Redirect stderr with sexp protocol (fix #333)