camlp5: fix audit warning