make sure lqr examples can run even if sedumi is not installed.