REEXPORT_ALLEGRO = @REEXPORT_ALLEGRO@
