Create defs.json