Symbol: get_filename