Mark allegro as allegro-4.*