Add deterministic lock manager files.