The test should refer to Virtlockd.lns, which is the name of
the module + lens in virtlockd.aug.