function mark_source_filename

static void mark_source_filename(char *f)