- Adapted the code to the new interface of BinaryFinder.