Post-merge commit
Fix why3.c
Avoid mistakes by marking as external the global variables