17c17,18
<
---
> stats_filename = Param.String("ruby.stats",
> "file to which ruby dumps its stats")