use JSON for lockfile