Chef: Fix warning when building with Clang.
Chef: Forcing build for i586.
Merge branch 'master' of github.com:dslab-epfl/chef-symbex-python
Merge branch 'master' of github.com:dslab-epfl/chef-symbex-python
Merge branch 'master' of github.com:dslab-epfl/chef-symbex-python
Merge branch 'master' of github.com:dslab-epfl/chef-symbex-python