Tweak devel/allegro version 4.2.2_3