let basename f = f.fname