removing FixPushMimeFilter since we don't use push any longer