You can manually delete a profile by issuing the manageprofiles -delete command on the command line for your operating system. The following command deletes the profile named shasti:
manageprofiles -delete -profileName shasti