kill obsolete debian allegro5 patch