i had the same problem as you golfbuf, you can fix this by adding a directory "/dev/.static/dev/mapper", at least it worked for me :)
i had the same problem as you golfbuf, you can fix this by adding a directory "/dev/. static/ dev/mapper" , at least it worked for me :)