Comment 3 for bug 793741

The problem is indeed a wrong prioritarization of SpliX. SpliX is assumed a non-free third-party driver which is not the case. It is released under a free license and therefore we ship it in main. SpliX should have a higher priority, as it is the best support for Samsung printers, it should be preferred against "Foomatic/gdi" (the other SmartGDI driver) and against PCL drivers (Samsung printers are better in Samsung's language than in PCL). In addition, the regexp to identify a PPD entry as a SpliX entry was wrong. The attached patch fixes this.