Filename for save files can be specified.
Default filename is 'rx'. Changes affect the output files rx.out, rx.agr, rx.save.
Authored by: michaelbieri 2010-07-27
Parent: [r11344]
Child: [r11346]
