rmail: no need to monkeypatch regexp anymore, included in our rmail-sup version