Oops, this is needed for the pars.free=2 feature. (Sorry, working with two different copies of SeDuMi here.)