s3:secrets: let secrets_delete_machine_password_ex() also remove the des_salt key