a lot faster generation of all.json