method filename = Ed_ocamloutput_rc.special_filename#get