Small updates to nettle, add in post_install to ipopt