pkg_delete: No matching package for basename `minipro-0.5' of `minipro-0.5'