[Bug 743634] New: satsolver-tools has missing dependency on /bin/find