pkg_delete: No matching package for basename `php72-shmop-7.2.13' of `php72-shmop-7.2.13'