pkg_delete: No matching package for basename `pen-0.34.1nb1' of `pen-0.34.1nb1'