pkg_delete: No matching package for basename `gpg-tui-0.9.3' of `gpg-tui-0.9.3'