More fixes for generating idefs.json