Fixed spec file, require base kiwi for solver with