lean_merge: Fix .configuration import