Remove patches made obsolete by the update to Avenger 0.8.3.