update of def file