[Bug 388595] New: satsolver-tools shouldn't be in /usr/(s)bin