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