Update to latest SeDuMi