pysvp64dis: dump to output file; use explicit arguments