Fixes to install_sedumi.m to find precompiled Octave binaries