shrink DEF file

change some stuff so it works.