You can manually delete a profile by issuing the manageprofiles -delete command on the command line for your operating system.
manageprofiles.sh(.bat) -delete -profileName shasti