method set_filename f = filename <- f