pkg_delete: No matching package for basename `php80-dotclear-2.18.1' of `php80-dotclear-2.18.1'