fsm_export: specify KISS filename on command line