pkg_delete: No matching package for basename `php72-curl-7.2.30nb7' of `php72-curl-7.2.30nb7'