do not install the toy Sexpr module