Though this looks more like an OBS bug to me, because the __.PKGDEF entry is clearly not a directory (it's a file)... Weird.