it wrongly scanned /lib instead of $datadir/lib, causing bad things to happen when scanning provides
Attach a file by drag & drop or click to upload
