Fix warnings.
Fix generation of versions file.
Update gecode.
Disable warnings.