pkg_delete: No matching package for basename `herisvm-0.8.0nb2' of `herisvm-0.8.0nb2'