Make sure libxml2 doesn't compile python lib.
Simplify gcc compilation, make it quicker.
Update gmp param for Ubuntu.