allegro5: fix audit warning
coq83: fix audit warning