fix defs/ files