Use DCF format for lockfile instead of JSON