add lean-debug