ppp2: Mirage build for Deadlock | LockMeta