Need to remove eigK mex files, and a couple of lines from install_sedumi.