Def file