python- and csv-printers can now take the default output filename
 as a parameter