Try realdelete to see if that really deletes mail from gmail