use a def file