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