frama-c __nonnull macro redefined warning -

when launch value plugin of frama-c, many times same warning :

/users/philippeantoine/.opam/4.02.3/bin/frama-c -val myprog.c in file included /users/philippeantoine/.opam/4.02.3/share/frama-c/libc/stdint.h:27: /users/philippeantoine/.opam/4.02.3/share/frama-c/libc/features.h:63:9: warning: '__nonnull' macro redefined [-wmacro-redefined]  #define __nonnull(args...)     ^ <built-in>:286:9: note: previous definition here #define __nonnull _nonnull     ^ 1 warning generated. /var/folders/rj/vl86bl2n6cgdjg7m7tszcvm40000gn/t/ppannot48d4bd.c:543:9: warning: '__nonnull' macro redefined [-wmacro-redefined] #define __nonnull(args...)      ^ /var/folders/rj/vl86bl2n6cgdjg7m7tszcvm40000gn/t/ppannot48d4bd.c:286:9: note: previous definition here #define __nonnull _nonnull     ^ 1 warning generated. 

has experience these before ? best way avoid these , see meaningful warnings ?

i simple code :

#include <stdlib.h> int main (){     char * test = malloc(10);     test[0] = 'a'; }