method
set_filename f = filename <- f