[Bug 722538] YaST2 package manager terminated with segmentation fault.