pkg_delete: No matching package for basename `dejagnu-1.6.2' of `dejagnu-1.6.2'